From 7e17e1732f6698254c3c6c3af15c2e351322c507 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Nov 2008 13:54:53 +0100 Subject: [PATCH] Update debian/clean --- debian/clean | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/debian/clean b/debian/clean index 22a7a765..455063e3 100644 --- a/debian/clean +++ b/debian/clean @@ -1,16 +1,8 @@ -_boot_log1 -_boot_log2 -_log -byterun/libcamlrun_shared.so -camlp4/config/Makefile -camlp4/config/Makefile.cnf +build/ocamlbuild_mixed_mode config/config.debian.install.sh config/config.sh config/Makefile config/m.h config/s.h -debian/README.labltk -driver/ocamlcomp.sh -emacs/ocamltags myocamlbuild_config.ml tools/myocamlbuild_config.ml -- 2.30.2